منابع مشابه
Ontologies, Types and Verb Frames
In the presented paper we examine ontologies, particularly Top Ontology from EuroWordnet 1,2, in relation to the logical types defined in Transparent Intensional Logic. We show that those relations can be captured by means of verb frames (for Czech and English). We offer a new notation that exploits semantic roles (deep cases) based on the EuroWordNet Top Ontology and the set of the Base Concep...
متن کاملtight frame approximation for multi-frames and super-frames
در این پایان نامه یک مولد برای چند قاب یا ابر قاب تولید شده تحت عمل نمایش یکانی تصویر برای گروه های شمارش پذیر گسسته بررسی خواهد شد. مثال هایی از این قاب ها چند قاب های گابور، ابرقاب های گابور و قاب هایی برای زیرفضاهای انتقال پایاست. نشان می دهیم که مولد چند قاب تنک نرمال شده (ابرقاب) یکتا وجود دارد به طوری که مینیمم فاصله را از ان دارد. همچنین مسایل مشابه برای قاب های دوگان مطرح شده و برخی ...
15 صفحه اولControlling File Access with Types
Accidental misuse of shared files by authorised users is a predominant problem. This paper proposes a well-known static analysis approach, namely a type system, to prevent such accidental misuse. We develop a type system that intercepts commands issued by users in a file system and enforces policies on each file. Commands issued by users to manipulate files will be subject to type checking by t...
متن کامل: examining l2 teachers’ corrective feedback types in relation to learners’ uptake, proficiency levels, and context types
abstract this study investigates the teachers’ correction of students’ spoken errors of linguistic forms in efl classes, aiming at (a) examining the relationship between the learners’ proficiency level and the provision of corrective feedback types, (b) exploring the extent to which teachers’ use of different corrective feedback types is related to the immediate types of context in which err...
Central File of Figures of Insect Types.
THE problem of poorly described insect species recognizable only from type specimens has long been serious to taxonomists; it has been aggravated by the vulnerability of collections to destruction by modern warfare. To help disseminate information of types in normal times and preserve it in case of accident or disaster, a Central File of Figures of Insect Types has been established under the di...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studies in Arts and Humanities
سال: 2019
ISSN: 2009-826X,2009-8278
DOI: 10.18193/sah.v5i2.185